Structured Aliasing
نویسنده
چکیده
Aliasing, mutable state and stable object identities are inherent in object-oriented programming. It is a well-known fact that this troika of features cause problems for practitioners, tool developers and formalists alike. Patterns for aliasing, and patterns for structuring object graphs exist, and manipulating aliases and managing these graphs or graph-like structures are among the most frequent operations in objectoriented programming. Yet, mainstream languages provide only low-level support for these operations in reading and writing of variables. The bookkeeping, making sure graph structures are preserved, temporary aliases deleted, etc. is left to the programmer. In this talk, I will review some of my work on managing aliases in object-oriented systems, and talk about some recent efforts to unify these approaches to provide what we could call a theory and practise of structured aliasing for object-oriented programming. J. Noble (Ed.): ECOOP 2012, LNCS 7313, p. 232, 2012. c © Springer-Verlag Berlin Heidelberg 2012
منابع مشابه
A Method for Alias Reduction in Cascaded Filter Banks
This paper shows a new way to reduce aliasing in critically sampled cascaded filter bank structures. Unlike standard tree structured methods, which lead to many aliasing components in the final subbands, our approach reduces the effect by canceling aliasing elements among subbands. Our interest lies in compression applications where we can apply the scheme to obtain an unequal or non-uniform ba...
متن کاملReasoning about Aliasing
Object-oriented systems are typically structured as complex networks of interacting mutable objects. To reason about such systems, simple and eecient techniques for coping with aliasing are needed. This paper identiies several key criteria for evaluating techniques for reasoning about aliasing, then proposes a technique which satisses these criteria. The proposed technique is a simple extension...
متن کاملNotions of Aliasing and Ownership
We survey notions of aliasing and ownership. An extreme but conceptually useful model is that of pure linear languages where each object is constructed once and read, being consumed, once. We see more realistic programming languages as relaxing this to allow multiple references to an object (spatial aliasing) or multiple sequenced operations on a single live reference (temporal aliasing) before...
متن کاملStructured estimation of sparse channels in quasi-synchronous DS-CDMA
We explore the channel estimation problem in the case of quasisynchronous users in a DS-CDMA system. Knowledge of the transmit (TX) filter is assumed, and the anti-aliasing low-pass front end receive (RX) filter is designed for critical sampling at the Nyquist rate for the TX filter. It is shown that when the sampling frequency is larger than the Nyquist frequency, the discrete-time representat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012